Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates

نویسندگان

چکیده

Abstract Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of non-monotonic logics. In recent work, AFT was generalized to non-deterministic operators, that is, operators whose range are sets elements rather than single elements. this paper, we make three further contributions AFT: (1) define study ultimate approximations (2) give formulation semi-equilibrium by Amendola et al ., (3) generalize characterizations disjunctive logic programs with aggregates.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalizations of lattices via non-deterministic operators

Benado (Čehoslovak.Mat. Ž. 79(4) (1954) 105–129) and later Hansen (DiscreteMath. 33(1) (1981) 99–101) have offered an algebraic characterization of multilattice (i.e., a poset where every pair of elements satisfies that any upper bound is greater than or equal to a minimal upper bound, and also satisfies the dual property). To that end, they introduce two algebraic operators that are a generali...

متن کامل

wavelets, modulation spaces and pseudidifferential operators

مبحث تحلیل زمان-فرکانسی سیگنالها یکی از مهمترین زمینه های مورد بررسی پژوهشگران علوم ÷ایه کاربردی و فنی مهندسی میباشد.در این پایان نامه فضاهای مدولاسیون به عنوان زمینه اصلی این بررسی ها معرفی گردیده اند و نتایج جدیدی که در حوزه های مختلف ریاضی،فیزیک و مهندسی کاربرداساسی و فراوانی دارند استوار و بیان شده اند.به ویژه در این پایان نامه به بررسی و یافتن مقادیر ویژه عملگر های شبه دیفرانسیل با سمبل در...

Approximation by $(p,q)$-Lupac{s} Stancu Operators

In this paper, $(p,q)$-Lupas Bernstein Stancu operators are constructed. Statistical as well as other approximation properties of $(p,q)$-Lupac{s} Stancu operators are studied. Rate of statistical convergence by means of modulus of continuity and Lipschitz type maximal functions has been investigated.

متن کامل

Characterizing Pawlak's Approximation Operators

We investigate the operators associated with approximations in the rough set theory introduced by Pawlak in his [Paw82,MP84] and extensively studied by the Rough Set community [RS06]. We use universal algebra techniques to establish a natural characterization of operators associated with rough sets.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theory and Practice of Logic Programming

سال: 2023

ISSN: ['1471-0684', '1475-3081']

DOI: https://doi.org/10.1017/s1471068423000236